semi-decidable 相关硕士博士期刊学术论文

本文论述了尽管各种非调推理模式在形式表达方面，在语义解释方面都有不同的体现，但非单调推理在相当层次上具备如下三个特征：一是一般......